int strcasecmp_tests();
